Verification of Frame and Semantic Network Knowledqe Bases
نویسنده
چکیده
Virtually all previous research in verification of knowledqe bases has concentrated on rule-based systems. Since most systems and shells developed to-date have concentrated on knowledqe representation usinq rules, this seems appropriate. However, increasinqly, there are systems beinq built usinq other forms of knowledqe representation, such as frames and semantic nets. As a result, there is a need to develop verification approaches for these types of knowledqe representations. Verification of frames and semantic networks is investiqated from a domain independent approach that focuses on the characteristics of the knowledqe representation. Examples are used to illustrate each approach. Implementation considerations also are discussed.
منابع مشابه
A New Approach to Continuous Riesz Bases
This paper deals with continuous frames and continuous Riesz bases. We introduce continuous Riesz bases and give some equivalent conditions for a continuous frame to be a continuous Riesz basis. It is certainly possible for a continuous frame to have only one dual. Such a continuous frame is called a Riesz-type frame [13]. We show that a continuous frame is Riesz-type if and only if it is a con...
متن کاملNew characterizations of fusion bases and Riesz fusion bases in Hilbert spaces
In this paper we investigate a new notion of bases in Hilbert spaces and similar to fusion frame theory we introduce fusion bases theory in Hilbert spaces. We also introduce a new denition of fusion dual sequence associated with a fusion basis and show that the operators of a fusion dual sequence are continuous projections. Next we dene the fusion biorthogonal sequence, Bessel fusion basis, Hil...
متن کاملBASES AND CIRCUITS OF FUZZIFYING MATROIDS
In this paper, as an application of fuzzy matroids, the fuzzifying greedy algorithm is proposed and an achievableexample is given. Basis axioms and circuit axioms of fuzzifying matroids, which are the semantic extension for thebasis axioms and circuit axioms of crisp matroids respectively, are presented. It is proved that a fuzzifying matroidis equivalent to a mapping which satisfies the basis ...
متن کاملSemantic Relations, Dynamicity, and Terminological Knowledge Bases
The linguistic and conceptual shift in Terminology has led to a more discourse-centered approach with a focus on how terms are used in texts (Temmerman and Kerremans, 2003). This shift has affected the construction of terminological knowledge bases, which have an underlying network of semantic relations. Such a network can be derived from corpus analysis and the extraction of terminological uni...
متن کاملDynamic Steerable Frame Networks
Filters in a convolutional network are typically parametrized in a pixel basis. As an orthonormal basis, pixels may represent any arbitrary vector in R. In this paper, we relax this orthonormality requirement and extend the set of viable bases to the generalized notion of frames. When applying suitable frame bases to ResNets on Cifar-10+ we demonstrate improved error rates by substitution only....
متن کامل